$\forall$$A$:Type, $I$:MaInterface($A$). ma{-}interface{-}kinds($I$) $\in$ (Knd List)